201![Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson](https://www.pdfsearch.io/img/08115893e80a637becbabae8e5d3c0e6.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|
202![Artificial IntelligenceElsevier 31 Logic and artificial intelligence Artificial IntelligenceElsevier 31 Logic and artificial intelligence](https://www.pdfsearch.io/img/e87c2a437d6e25d8939e01f8f3c6891b.jpg) | Add to Reading ListSource URL: ai.stanford.eduLanguage: English - Date: 2007-10-21 17:30:59
|
---|
203![Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris](https://www.pdfsearch.io/img/1c036538647bf7b32e8a30d1910cdae0.jpg) | Add to Reading ListSource URL: mehdi.bouaziz.orgLanguage: English - Date: 2014-01-23 20:24:46
|
---|
204![Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy](https://www.pdfsearch.io/img/14a0498252789981ef9956a8c95cefe6.jpg) | Add to Reading ListSource URL: www.schemeworkshop.orgLanguage: English - Date: 2015-04-20 13:48:41
|
---|
205![Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem Ant´ onio Morgado and Joao Marques-Silva School of Electronics and Computer Science, University of Southampton, UK ,jpms@e Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem Ant´ onio Morgado and Joao Marques-Silva School of Electronics and Computer Science, University of Southampton, UK ,jpms@e](https://www.pdfsearch.io/img/3d85fcddf50ed2c4f7f4cb3fea23be09.jpg) | Add to Reading ListSource URL: ceur-ws.orgLanguage: English - Date: 2008-12-04 03:04:56
|
---|
206![Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract](https://www.pdfsearch.io/img/894d222dbfa494e78463631a28be57bc.jpg) | Add to Reading ListSource URL: tmancini.di.uniroma1.itLanguage: English - Date: 2008-12-16 11:06:34
|
---|
207![Modular Bisimulation Theory for Computations and Values Appendix A 17 Modular Bisimulation Theory for Computations and Values Appendix A 17](https://www.pdfsearch.io/img/cd95699059f592e7b28c92d4186cebd8.jpg) | Add to Reading ListSource URL: plancomps.dreamhosters.comLanguage: English - Date: 2014-11-22 16:20:54
|
---|
208![A Calculus for Conjecture Synthesis Moa Johansson1 , Lucas Dixon2 , and Alan Bundy3 1 Dipartimento di Informatica, Universit` a degli Studi di Verona ?? A Calculus for Conjecture Synthesis Moa Johansson1 , Lucas Dixon2 , and Alan Bundy3 1 Dipartimento di Informatica, Universit` a degli Studi di Verona ??](https://www.pdfsearch.io/img/a1671b6f5dbef2992cdd386ca6a02334.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2015-08-18 04:15:46
|
---|
209![Journal of Artificial Intelligence Research–228 Submitted 03/09; publishedHypertableau Reasoning for Description Logics Boris Motik Journal of Artificial Intelligence Research–228 Submitted 03/09; publishedHypertableau Reasoning for Description Logics Boris Motik](https://www.pdfsearch.io/img/bae04ea22d802d08765d076ba5293ead.jpg) | Add to Reading ListSource URL: www.hermit-reasoner.comLanguage: English - Date: 2012-02-03 12:06:02
|
---|
210![c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym](https://www.pdfsearch.io/img/647fbac750823c19068c2015f0b780db.jpg) | Add to Reading ListSource URL: community.haskell.orgLanguage: English - Date: 2013-10-12 04:58:09
|
---|